Notes on Sraffa's fixed capital model

Some notes on ``Common fixed point of two $R$-weakly commuting mappings in $b$-metric spaces"

Very recently, Kuman et al. [P. Kumam, W. Sintunavarat, S. Sedghi, and N. Shobkolaei. Common Fixed Point of Two $R$-Weakly Commuting Mappings in $b$-Metric Spaces. Journal of Function Spaces, Volume 2015, Article ID 350840, 5 pages] obtained some interesting common fixed point results for two mappings satisfying generalized contractive condition in $b$-metric space without the assumption of the...

mortality forecasting based on lee-carter model

over the past decades a number of approaches have been applied for forecasting mortality. in 1992, a new method for long-run forecast of the level and age pattern of mortality was published by lee and carter. this method was welcomed by many authors so it was extended through a wider class of generalized, parametric and nonlinear model. this model represents one of the most influential recent d...

Notes on Fixed Point Theorems 4 Basic Definitions

A fixed point of a map is a point in its domain which satisfies the equation F (x) = x. It is clear that, for such a point to exist, the domain and range must have common points. We point out two things, first, that the problem of existence of fixed points is equivalent to the problem of the solution of equations of the form f(x) = 0. Indeed, given such an equation, we can add the variable x to...

Notes on model predictive control

Lecture Notes on Model Checking

In this course, we have seen several modal logics and proof calculi to justify the truth / validity of formulas. But natural deduction, Hilbert-style calculi, tableaux, sequent calculi and the like are not the only way to establish truth. For a particular Kripke structure at hand, a systematic exploration of the state space can be used to establish if a formula of modal logic is true or false i...